%!TEX root = ../rapport.tex

\begin{titlepage}


% Front page image
\begin{center}
	\textcolor{sectionColor}{{\huge \bfseries Visualization of $\beta$-reduction Graphs in the Lambda Calculus}\\[2.0cm]}
	\includegraphics[scale=0.6]{../images/Regular15_NEATO.png}\\[1.0cm]
\end{center}

\begin{center}

% Author and supervisor
\begin{minipage}{0.4\textwidth}
\begin{flushleft} \large
\emph{Authors:}\\
Niels Bj\o rn Bugge Grathwohl\\
Jens Duelund Pallesen
\end{flushleft}
\end{minipage}
\begin{minipage}{0.4\textwidth}
\begin{flushright} \large
\emph{Supervisor:} \\
Jakob Grue Simonsen
\end{flushright}
\end{minipage}
 
\vfill
 
% Bottom of the page
{Department of Computer Science, University of Copenhagen\\
June 2010}
 
\end{center}
 
\end{titlepage}